1. Fundamentals of mathematical logic /
پدیدآورنده : Peter G. Hinman.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Model theory.,Recursion theory.,Set theory.,Logic, Symbolic and mathematical.,MATHEMATICS-- General.,Model theory.,Recursion theory.,Set theory.
رده :
QA9
.
H527
2005
2. Generalized recursion theory; proceedings of the 1972 Oslo Symposium
پدیدآورنده : / edited by J. E. Fenstad and P. G. Hinman
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Recursive functions
رده :
515
.
25
S989
1972
3. Pain in osteoarthritis
پدیدآورنده : / edited by David T. Felson, Hans-Georg Schaible
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Osteoarthritis, Complications,Pain,Osteoarthritis, physiopathology,Pain, therapy
رده :
RC931
.
O67P35
2009
4. Recursion-Theoretic hierarchies
پدیدآورنده : Hinman, Peter G.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Recursion theory -- Hierarchies
رده :
QA
9
.
62
.
H56
1978
5. Recursion - Theoretic hierarchies
پدیدآورنده : / Peter G. Hinman
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Recursion theory - Hierarchies
رده :
511
.
3
H664
6. Recursion-theoretic hierarchies
پدیدآورنده : Hinman, Peter G.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Recursion theory-- Hierarchies
رده :
QA
9
.
62
.
H56
1978
7. Recursion-theoretic hierarchies
پدیدآورنده : Hinman, Peter G
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Recursion theory -- Hierarchies
رده :
QA
9
.
62
.
H56
8. Recursion-theoretic hierarchies
پدیدآورنده : Hinman, peter G.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Recursion theory,، Hierachies
رده :
QA
9
.
62
.
H56
9. Vaccines /
پدیدآورنده : [edited by] Stanley A. Plotkin, Walter A. Orenstein, and Paul A. Offit
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Vaccines,Immunization Programs,Vaccination,Vaccines
رده :
QR189
P56
2013